English translation for "prepositional calculus"
|
- 介词演算
Related Translations:
prepositional: adj.【语法】前置词的，介词的。 a prepositional phrase 前置词短语。adv.-ly
- Example Sentences:
| 1. | In prepositional calculus , the property is new arrangement of simple statements in a clause or a term
返口到p中来看，这种“特殊性”实质上是对p中于句或者合取式中的原子命题的一种重新排列。 | | 2. | In 1996 , professor wang guojun built formal deductive system l * of fuzzy prepositional calculus , then in the frame of system l * , constructed the logical base for fuzfcy reasoning rules from sematics
王国俊教授于1996年建立了模糊命题演算的形式系统l ~ * ，之后在系统l ~ *的框架中，从语义上为模糊推理规则构建了逻辑基础。 | | 3. | We can construct a " numerals system " , and there is isomorphism of the numerals system into prepositional calculus , so , for a proof of prepositional calculus , by isomorphism , we can find a " numerals proof of the numerals system
) ，同构保证p中的命题演绎一一对应于n中的一个“数字演绎” ，同时，为了使用方便，应该使数字系统( ? )的表示过程尽可能简单。 | | 4. | The second part builds a new algebra syetem rl , which in the definition of bl - algebra gets rid of the stronger condition and studies the properties of rl - algebra . in the same time , using rl - algebra as the true - value field this paper builds a more extentively formal deductive system of fuzzy prepositional calculus - - - - - - logic system rl . obtains a series of theorems , and studies the completeness of rl logic
第二部分：在以bl逻辑为背景的bl代数的定义中去掉限制性较强的条件a b = a ( a b ) ，建立了一种新的代数系统rl ，并进一步研究了rl代数类的性质；以rl代数为赋值域建立了一种更为广泛的模糊命题演算的形式系统? ?剩余格值逻辑系统rl ，得到了一系列定理，同时研究了逻辑系统rl的(弱)完备性 |
- Similar Words：
- "preposition cards" English translation, "preposition ground case" English translation, "preposition group case" English translation, "preposition phrasing" English translation, "prepositional" English translation, "prepositional constructions" English translation, "prepositional deletion" English translation, "prepositional insertion" English translation, "prepositional logic" English translation, "prepositional object" English translation
|
|
|
